1

On the formal semantics of IF-like logics

Year:
2010
Language:
english
File:
PDF, 282 KB
english, 2010
6

Turing’s unpublished algorithm for normal numbers

Year:
2007
Language:
english
File:
PDF, 323 KB
english, 2007